Prolog - List Operations Insert